Nuprl Definition : apply def 13,42
f(a) is Primitive 
latex

Upcore 1, core 1
FDL editor aliasesap

origin